generate unique random numbers in python